Push-Script names a function, with lambda list (&REST WORDS):
Instruct clients to load a new script file.
Pushes a script filename to clients. The pathname must be relative to the play.tootsville.org server (or its equivalent in other clusters). Used to push an emergency software update without requiring players to reload.
Pushes a script filename to clients. The pathname must be relative to the play.tootsville.org server (or its equivalent in other clusters). Used to push an emergency software update without requiring players to reload.
#push-script PATHNAME
#push-script /play/UI/UI.js
Defined in file src/infinity/modern-ops.lisp.